1. Graph-Based Proof Procedures for Horn Clauses
Author: \ Stan Raatz
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Logic programming,Horn clauses,برنامهنویسی منطقی
Classification :
E-Book
,
